201. Introduction to mathematical logic
Author:
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Logic,Symbolic and mathematical
Classification :
BC
135
.
C42
202. Introduction to mathematical logic and its applications
Author: Rosenbaum,Ira
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Predicate calculus
Classification :
QA
9
.
35
.
R6
203. Introduction to mathematical logic and resolution principle
Author: Wang, Guojun, 5391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
A96W26
2009
204. Introduction to mathematical logic : set theory, computable functions, model theory
Author: Malitz, Jerome
Library: Central library and information center (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
M265
1979
205. Introduction to mathematical logic : set theory computable functions model theory
Author: Malitz, Jerome
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
M265
1979
206. Introduction to mathematical logic; set theory computable functions model theory
پدیدآورنده : Malitz, J.
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
207. Introduction to mathematical logic: set theory, computable funtions, model theory
Author: Malitz, Jerome
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
M26
208. Lectures on mathematical logic /
Author: Walter Felscher
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
209. Lectures on mathematical logic /
Author: Walter Felscher
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
2
.
F45
2000
210. Lectures on mathematical logic /
Author: Walter Felscher
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
2
.
F45
2000
211. Logic Colloquium : proceedings of the Summer School and Colloquium in Mathematical Logic
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
9
.
A1
L63
212. Logic & Mathematical Paradoxes
Author: by Sindy Dunbar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
HD30
.
23
B975
2014
213. Logic colloguium 69; proceedings of the summer school and colloquium in mathematical logic, Manchester, Auqust, 1969
Author: / edited by R. O. Gandy, C. M. E. Yates
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical - Addresses, essays, lectures
Classification :
511
.
3
L832
214. MATHEMATICAL LOGIC
Author:
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject:
Classification :
QA
,
9
,
K65
215. MATHEMATICAL LOGIC
Author: Quine, Willard Van Orman
Library: Library of Mofid University (Qom)
Subject:
Classification :
QA
9
.
Q5
M3
1981
216. Martin Davis on computability, computational logic, and mathematical foundations
Author: Eugenio G. Omodeo, Alberto Policriti, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Number theory,، Logic, Symbolic and mathematical,، Davis, Martin, 8291-,، Mathematicians -- United States
Classification :
QA
241
.
M38
217. Mathematical Aspects of Logic Programming Semantics
Author: / Hitzler, Pascal
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
218. Mathematical Logic
Author: / Josph R. Shoefield
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Symbolic logic
Classification :
511
.
3
S559
219. Mathematical Logic
Author: \ Wei Li
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a03,a03
Classification :
E-Book
,
220. Mathematical Logic
Author: / Wei Li
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
